COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002
C00067 ENDMK
C⊗;

2nd Drawer - lst file - west wall

MCCARTHY NOTES

Patience
Performances in Dinkelspiel Auditorium; November Sat. 16, Sun. 17,
Fri. 22, Sat. 23 at 8:00pm; Matinee Sun. November 24 2:30 pm.

Tickets $6.50 general; $4.00 students;
at Tresidder Union Box Office (497-4317) or Stanford Barn.


jmc - First of all it's "it's" not "its".  Second the Random House dictionary
is what the name suggests.  There are two meanings, and English will be
a better communication medium if people adhere to the meaning of "flout"
as "ostentatiously disdain or disobey" and "flaunt" as "ostentatiously display".

Eric Marti, 805 963-5993 Reason magazine

Cafe Parisienne, 7:30, 3100 Washington Blvd. Marina del Rey, cross Lincoln

Donald McIntosh, 606 436-5486
The Ten Commandments Fund
Box 28, Bulan, Kentucky 41722


Jay Perrine, Econ Inc. 408 249-6364
is looking for an AI consulting firm.
User of "model" would answer questions about payload, etc.
and it would say what he needs in the way of boosters and
what it would cost.

L.A. airport Sheraton, 213 642-1111 room 1477

CAte
tax running out Allegheny power
Delver Allegheny power
bring Cate copy of dividend reinvestment



Garo Keremidjian, CIA project for AI panels, session on expert systems
technology, common sense reasoning, propose week of Feb 17
one day session, 30 to 45 minute lecture, related to description of
interests given in advance.  I said it would have to be Monday.

Jan 15 discussion with John Hopcroft, roboticist
His colleagues are Dean Kraft and Christoph Hoffman
A valve takes 500 algebraic equations
Their recent work is on blending surfaces, i.e. fillets.
He sees himself better at "working for someone" than administering.
He doesn't see expert systems contributing to robotics at present.
papers:
Automatic surface generation in computer aided design - with Hoffman
The challenge of robotics for computer science - with Kraft

Jan 15 with Ralph
machine independent library of supervisor calls - interface spec.
Mike Nielsen (for Brian Reid) implemented Unix library in a non-unix
operating system which permitted C, editor, etc.
Systems should work on a variety of machines (e.g. Suns and Microvax
and now PC-RT).

ebos may not be compatible with goal of making constant system
whose manuals can be bought at the Bookstore. - Les

Sun network file system - Network File Server

855-0600,408 288 4053, 

Javed Khan,288-4178 info about pc-rt
Announcement seminar
Fri, Jan 24, 9am, 2077 Gateway Pl. 4th floor, across from Red Lion Inn

desktop model 10, 1 megabyte to 3, 40 meg disk;
 2 model 20, 1 to 3, more disk to 180, model 25, 2 to 4 meg
70 to 210, model 6151 model 10, 6150 model 20 and 25
streaming tape drive, 55meg backup tape
3 types of graphic, 2 monochrome and one color, all are APA
12, 14 and 15, extended 1000 by 768, 720 byy 512 ordinary,
1.6 to 2.1 mips, models 10 and 20 march 28, model 25, 3rd quarter
only advanced monochrome is available now
unix, C compiler,


Art Lee, alee@sushi 424-8962 wants a lisp project
hx.hal@forsythe
test
This is John McCarthy who is JMC@SU-AI.ARPA.

George Menas, Steven Bryan friend of David Chudnovsky

914 945-1233,
Computers and Mathematics, July 29-Aug 2

For correction to applications paper.
011 31 71 219479, Elma Kleikamp
       20 5803911

100n Rowe 213 472-3566, 743-8326 school

at most $100K for first year, start summer.
halpern@ibm-sj

Chris Garcia, Time

Eric Mathre, 7-1055
Randy Melen, 7-1055, can help with RT



robert ashenhurst 312 962-7454, u of chicago
promised 10-15 pages on generality in AI for Turing lecture reprint volume



J. R. Pompa, ex G.E., Honeywell
Argonne

encore strategic computing
mips
ultramax
shared memory
reduced instruction
gallum arsenide, risc mips + 1.25 micron visic cmos
common sas 
front ends 
100 mips with GAs
mipsx, handles cache better, early comm
mach to be standard in unix


For David Skeen, See "The Structure of Microcomputer File Systems"
by Donald Golden and Michael Pechura, CACM 1986 March, p. 222.  It
concerns using files made by other computers, and it may have useful
references or the authors may know something useful.

rick rashid @ cmu knows about mach

Letter to Donald Regan supportying Dixie Lee Ray for Sciece Adviser.

Chris Poda, Sytek, 966-7300 x1132, x400 protocol



cv via telex, keep ticket

grace smith, peter smith los altos

Technical accomplishments
using of programming computers

p. 149 taking vote, p. 154, Backus and Bauer at the blackboard
Federal express, 200-5354-2,
Roxy France
Time-Life Books
777 Duke St.,Room 311A
Alexandria, VA 22314
703-838-7015,7738 next week

Dantzig afternoon 31st 
Gregory
new trends in mathematics and computers
haken
david
barry trager


Spektrum der Wissenschaft, telex 841 461842
call back sdwhd d, send attention Claus Firchow

Bill Webb and Alex Morrow at IBM ACIS development

Rudolph Bayer, Munich is John Nafeh's consultant.

mohawk, cdc sorcim, contract with Siemens, CHILL compiler for switching
supercalc, Command Software → word processor, C for 8086
Simon Reyfman, Schlumberger (home: 494-0695) (office: 408 998-0123 x2278)
Reid Cummer cdc Moffett blvd. 408 744-5000, June White Rolm

$2079 each way, $4522
305 583-9318 Sue Walker Toledo
George Dantzig

Matt Rothman, Business Week profile of Raj Reddy

Mark Johnson, asst book editor, Mercury News, 408 920-5825
$150 for Roszak review due by the middle of May

Linkoping trip
1. They still need hat and ring size, and they can't interpret American
hat sizes.

2. Sandewall home phone - 13 12 12 64

3. lecture Sat. May 31, degree June 2

4. I said we'd come on the 29th or 30th and stay a week.

5. I gave the title "Logic and artificial intelligence"

6. The best way to come is via Copenhagen to Norrkoping.  They'll
meet us if notified.

Pat Smith, mgr distributed systems
Frank Tung, exploratory systems
1030 Page Mill, 1:30

Ann Gretolo 789-7763, intercepted call to Peled's number

p43
lc1 <filename>

(compile-file "alt" :o-file t :c-file t :h-file t :data-file t)

psa 8 9-10:10, AA36 1pm - 8:37, UA57, 5:20-7:35 alt via chi, UA 9:50-12:00

May 7
John Cocke says that Andy Heller would like to know about C problem.
We should check into Spector Lisp.

Kyoto Common Lisp
comes from 
IBUKI
399 Main Street
Los Altos, CA 94022
949-1126


hobbs 859-2229


40 pages 8.5 x 11, 2000 copies $1500 printing and binding
12.5 cents per copy
typesetting professionally, $1600
mailing $250
5 thousand circulation leads to about doubling costs, i.e. to
20 thousand per year.

circulation, $500 for $200
notifications of impending expiration - 
creating circulation
Beckmann?
promotion is about half the cost

SAS Ticket counter
380 World Way
Bradley International Terminal
Los Angeles, CA 90045

Hussein's reply
bboard.txt[2,2]/117p/987l

Colleen Crangle
IMSS room 33, Ventura Hall
works for Suppes, interested at his behest in Qlisp

Sue Corneille, Imperial College, 1 589-5111 x5011

Dantzig title:
Impact of linear programming on computer development.

Lucy Habib, 968-7650, 940-2324

p.157 request for GNU eMAX manual

Hyatt 4219 El Camino, 493-8000, x2544

naxos
548-1361, Stallman, 

Shankar 408 559-3291

6pm Friday, President's House, CMU
Raj, Kahn, JMC, Cerf, Danny Hillis, Don Lindberg, Jerry Popek

202 337-7600 rm 310

David Francis, sitn@sushi, 723-3816, handout coordinator

Date: Thu 14 Aug 86 19:40:02-EDT
From: Paul G. Weiss <PGW@XX.LCS.MIT.EDU>
Subject: Fixed Points

The familiar non-trivial LISP fixed point is:

The following expression is the one that was given.  Fed to Maclisp,
it indeed returns itself - converted to caps.
((lambda (X) (list X (list (quote quote) X)))
 (quote (lambda (X) (list X (list (quote quote) X)))))


What can be done for Prolog?  Ideally, I would like to find a
one-clause predicate fixed/1, with the property that fixed(Term)
is true of the Term which is the clause that defines fixed/1.

abe ? might know about von N
Abe Taub, ucb, Babbage 612 624-5050, Arthur Norberg
William Aspray

The Swedish referendum was March 23, 1980.

Bird, Reynoso and Grodin are particularly bad, but Tom Sowell recommends
voting against all but Lucas and Panelli.

Whaley, Al, 217 367-1624, 323-9492

Chen, Wen-chi
3386 Tryna Dr.
Mountain View, CA 94040
interested in meetings on computer architecture

Peter Nador
U.N. Development Program
Office for Project Execution
212 754-4924
1 United Nations Plaza
TM 920, New York, N.Y. 10017

Cont. 10:25 arr. 11:30, cont. 865
psa 216 3:25-4:25

Gladys Dickerson Baluda
Eleanor Harris 202 632-2949
Soviet Desk 202 632-3456 or 7
Ruth Nelson at SLAC
John Zimmerman

Mexican chocolate Ibarra brand
an octet of octagonal boxes

spad@yorktown
info about Imagen and Apple costs

John Justeson, advisee, 3-4642
Phd in anthro, worked on Mayan writing
will drop by c.v.
gave detailed advice
learning, inference and language are his interests,
so why should he study hardware?

36225 206 335-2491 Dirk Hubregs

Jan Van Gael, Belgium, advisee, Sept 26
Leuven U., eng. degree in cs
nat. lang and vision
rather practically oriented, knew exactly what he
wanted to take, substituted Shapiro and expert
systems for the Manna courses.
Chris Rogers, advisee, will come back at end of quarter, ai is his interest.

Greg D. Schecter, advisee from michigan, knows what he wants, Sept. 26

Paul? Rinard is the new PhD student I talked to at Golub's party.

cs306 tutor at HP
Dirk Hubregs, 206 335-2491, HPLSLA!DIRKH


Lunch with Tom Hartnett and Nafeh and Hurd.
Contract to put prolog interface on well known database managers
David Scott Warren, in technical charge

FIND/X: WITHIN LINE IN EXCH.TXT[P,DOC];
find:within line in phon[1,jmc]

Tim Fernando, phd
bs, math caltech
year at cmu with Scott
paper on Cook's notion of relative completeness

Gaudinat, Bruno, France, ecole polytechnique
lisp, prolog, expert sytems

David Teisch, Texas A&M
Lockheed, business computing
Honors co-op, switching to full time

Tandberg, Olof, Swedish Academy
Rosenblith 617 253-1990
Perhaps we should wait and see what the U.N. does.

Dr. O. T. Tandberg
Royal Swedish Academy
Box 50005
S-10405
Stockholm, SWEDEN
Telephone: 468150430
1718 10:55 11:59
also Inge Fischer-Jalmars is the expert

Ershov
Earth Stewards, 20 Soviet teenagers with two adults,
us. oct 28 in wash, week in bay,
Joan Spannagel, 968-7925 daytime number
Chet Watson, 381-8316, Global communications
staying chez Walter and Kay Hays
355 Parkside Dr. PA, 493-0788
near Alma and Oregon
prefers Mon. the 10th to Friday the 7th for seminar
857-1428,Judy Murphy, Diana Glasgow is organizing program

The mathematician recommended by Feferman is Brumfiel.
It was Ilan Vardi who taught out of Whittaker and Watson.

Henry Schein
5 Harbor Park Drove,
Fort Washington, ny 
11050
ac adaptor 100-0693
100-8904
100-0999 for the paper

That's Robert Sheldon Stein, DDS.
50 Staniford St., Boston, MA 02114
523-5451


Room 501a, bldg 500, 4:00

Wyatt Leung, EE student taking course from R. Textor came by to ask
about what was feasible in AI so he could write about social consequences.
Harangued him about harmful effects of technology assessment.

knuth, suppes, 

Daniel Verney will send me a Grenoble prolog for the Apollo
Mirko Juricev, 818 884-5515

Robert Hof, Times-Trib
asked my opinion of Xerox project to use AI to teach illiterates coming
out of high school.  I wished them luck and referred them to Suppes
for more information about what has been tried.

Boaz@csli, Lazinger
Elron, Zohar Ofir, Tel Aviv → Rosh and Cogiten are companies
Moshe Ben Basat, Tel Aviv U.

Mark Porter, advisee,utexas 82 bs in ee, trilogy → dec, took ee and cs course nco
cad for vlsi, software design of high speed tester
cs135 ← cs237 ?
interests go towards research in ai
He will bring it back and I'll sign it.

Jerry Peterson is the new Ford Inference Board member
John Glenn is the Palo Alto investor who attends Inference Board meetings

Greg O'Hair
Flinders, S. Australia, philosopher, Nov 21, wants to sit in on CS326

buy 1000 shares Gulf States Utilities at 7 5/8 with intention to
sell 10 1/2 stock for loss.

Mesa limited partnership, buy $12K worth.
T. Boone Pickens,

Dawkins, Richard - The Blind Watchmaker
McMahon and Bonner - On size and life
1.1) McMahon, Thomas A., ON SIZE AND LIFE (New York : c1983.)
       LOCATION: QH351.M34 1983: Green Stacks; Biology


Call from Linda Tarnow, Libertarian Party convention
New tools of freedom, world-wide liberation whether they want it or
not.  How and why computer technology promises to be incisive tools
for the spread of liberty, especially in the most oppressive police
states.

cbcl reprint
Please send this reprint to:
Lee Mantelman
Senior Editor
data Communications Magazine
1221 6th Ave., 41st Floor
New York, NY 10020

Colman or Kolman, Son of the Revolution
Mathematical manuscripts of Karl Marx

University→Bay→Gloria→Grace→2nd house on left→Hazel

6 and 7
buchanan, reddy, whittaker, engelhart,(halpern,vardi,fagin) schorr,
Carrie Cochran, cbs,
avoid white shirt , two of each
marriott michigan ave 6:30 dinner
send bio to ellie
Tom Engel Productions (312) 664 8141.

Final version Kansas frame paper jan 15

Brochure copy due, 7 Jan., abstract 

Filman
wics
Bruce Buchanan, historical
aaai papers
metadendral
Beach and Filman background, know repres., search,
Jim Bennett classification, a la Clancey
classify, analyze, vs. construct, 
Sanjay Mittal, Xerox, aaai paper, synthesis
know acquis. Shortliffe
explanation, Bill Swartout, isi
Mike Williams and Marilyn Stelzner, user interface
Johan de Kleer, ATMS
Nancy Martin, software eng. John Kunz methodology, Denny 
Brown, getting and maintaining stuff in the field

Simpson
	demos
find task context
need applied motivation for basic ideas
examples of task
	definite demo of common sense database
aiming toward demo in jan 88 that will do xxx
what's the mode evaluation technical progress
definite functional capabilities demoed at given times

How does the holds predicate get established, perception?

what domain?

How exactly to transfer ideas?
mcc is regarded as another research group
even in basic research there is a need computation

Processes occurring in time was the best part of the proposal, but
it would be better if cast in some domain.  That's Shoham's part.
Jim Tagnalia likes directed research.  Show me the steps that
this thing takes to get it into practical military use.

They still want to support theoretical AI research, but ...

Phone call with Amarel, Nilsson, Earnest:
1987 Jan 8, 1230

continue support basic work
in addition like connection with technology development

Les will co-ordinate
identify sub of jmc with sri, rockwell


1987 Jan 9, subscribed to Newsweek for two years for $41.50.

common sense in space

whole new opportunities

Jan 22 - interviewed by Richard Rawles of pc-world about feasibility of
sdi software for article to appear in May.

Jan 31
606 269-2170 Sarah house sitting for up to a week c/o Stephanie Russo

Ron Gatterdam, 907 474-6174, bitnet, ffrwg@alaska

Feb 5, 12:30
Jeffrey Canin from Hambrecht and Quist called to ask questions about MAD.

Hurd valentine party 2-4 Saturday, 965-7700, ask for Sherry

Paul Schindler, Information Week, Sr. editor

John Woodfill re context Feb 10 Genesereth student
wants context notes

ra
Please phone
the Greyhound bus terminal in Mountain View to see if they
have Carolyn's bag.  I suppose they telephoned, but ...
06721698 5 = Greyhound bill number, to get Carolyn's bag

That was Ralph Landau with whom I had lunch.

password=fortune

Jim Browne 471-9579, 9505
browne@utexas-20

buckley comments
combine tasks

dates on milestones


Date: 10 Mar 87 11:55:40 EST
From: Karen.Olack@h.cs.cmu.edu
Subject: Seminar - Multilisp (CMU)


Speaker:        Robert Halstead
Date:           March 16, 1987
Time:           2:00 p.m.
Place:          Wean Hall 8220
Topic:          Multilisp:  A Language for Parallel Symbolic Computing

                                ABSTRACT

Multilisp is an extension of Scheme with additional operators and
additional semantics for parallel execution.  These have been added
without removing side effects from the language.  The principal
parallelism construct in Multilisp is the "future," which exhibits some
features of both eager and lazy evaluation.  Current work focuses on
making Multilisp a more humane programming environment, on expanding the
power of Multilisp to express task scheduling policies, and on measuring
the properties of Multilisp programs with the goal of designing a
parallel architecture well tailored for efficient Multilisp execution.

Multilisp has been implemented, and runs on the shared-memory
Concert multiprocessor, using as many as 27 processors.  The
implementation uses interesting techniques for task scheduling and
garbage collection.  The task scheduler helps control excessive resource
utilization by means of an unfair scheduling policy; the garbage
collector uses a multiprocessor algorithm modeled after the incremental
garbage collector of Baker.

The talk will briefly describe Multilisp, discuss the areas of
current activity, and indicate the future direction of the project in
the areas of language design, application development, and
multiprocessor architecture.
                         John M. Mellor-Crummey
                        University of Rochester
            "Parallel Program Debugging with Partial Orders"

Parallel programs are considerably more difficult to debug than
sequential programs, because successive executions of a parallel program
often do not exhibit the same behavior.  Instant Replay is a new
technique for reproducing parallel-program executions.  Partial orders
of significant events are recorded during program execution and used to
enforce equivalence of execution replays.  This technique (1) requires
less time and space to save information for program replay than other
methods, (2) is independent of the form of interprocess communication,
(3) provides for replay of an entire program, rather than individual
processes, (4) introduces no centralized bottlenecks, and (5) does not
require synchronized clocks or globally-consistent logical time.  Some
performance results of a prototype on the BBN Butterfly [TM] Parallel
Processor will be presented, and it will be shown how Instant Replay can
be used in the debugging cycle for parallel programs.

When I saw your message, I thought it wasn't Nash, and my candidate was
Hilaire Belloc, so I looked in the Oxford Book of Quotations index under
"pelican" and found Merritt.  I never heard of him, and that's the only
quote from him in the book, so I guess he was a flash in the pan.  He was
listed as born in 1879 and so preceded Nash by perhaps a generation.
Actually, it seems to me that the limerick in question is not in Nash's
style, who maybe didn't write limericks and formed exotic rhymes
differently, and that its style was more common in the humorous verse of
the late nineteenth and early twentieth century.  However, I don't know
enough about poetic style to back up this impression.

Mar 20
Erann Gat, cs
Forrest Norrod, ee
of Virginia Tech asked about modal logic in 1st order logic

planlunch monday

northern illinois

u. of miami, jan 13 letter about visas, acm - more biography, monday april 6
929-8553, 280-2123,
cate, april 6

need to find out about how to send messages to Sloman, etc. msg.msg[1,jmc]/14p

Mike Kirsh, a.p. Pittsburgh, re Moravec ideas, 412 281-3747,

ua baggage 800 221-6903

lisa Hazen,acm, apr 14, 212 280-2123, 929-8553

chudnovsky
journal of complexity

3-1348, Staar, fri may 1, Joyce cerwin, re dinner May 1

Vladimir Alexanyan
His office numer 424-8777, his home number 949-5383.

Pape, Jerry	symbolic systems advisee, j.jpwiz@lear, 323-3974
	Pape Computers, Ace Quality Assurance
Please return her call and see if you can satisfy her.
869-7440, robin albert, acm

4.1) Langer, Jonas. THE ORIGINS OF LOGIC (Orlando [Fla.] : 1986.)
       LOCATION: BF723.R4L36 1986: Green Stacks

Event Knowledge.  Structure and Function in Development. Katherine
Nelson in collaboration with 11 others.  Erlbaum.
1) Title: Event Knowledge Structure and Function in Development
1.1) Nelson, Katherine. EVENT KNOWLEDGE (Hillsdale, N.J. : c1986.)
       LOCATION: BF723.C5N44 1986: Green Stacks

message center telegram
msg 73
3-4081

Michael Bukler
408 748-6618, digital manager

408 562-5797, Tommy Jones message relayed by Perry McCarty
re supercomputer conference

david c. 493-8000, room 2025

Hodson, F.R. Mathematics in the Archaeological and Historical Sciences
1.1) Doran, J. E. MATHEMATICS AND COMPUTERS IN ARCHAEOLOGY ([Edinburgh]
       Edinburgh University Press [1975])
       LOCATION: CC75.D63: Green Stacks; Art

Keith Clark was hoping to come by next Thursday.  Prolog+Parlog

John R. Smith, bin 43, SLAC, congratulated me on my Daily letter about SDI,
March 31.

Kevin Quinn, d.daedalus@lear wrote a good paper on causality

Anneliese Anderson 3-3139

rem 8pm 322-7638,mark strassman, videotape on sdi at Stanford

jjw, discussion of thesis progress, may 18
simulators for multi-processing
continuation passing
sorting

kirsh@ai.ai.mit.edu
617 253-6569, 253-0073 sec'y
foo

misi, galovani
edward manukian
gedanken exps in science
79 on and off till 82
u. of maryland, dept. of philosophy colleg 20742, 202 775-0537 home
301 454-2850 office
V. Shchopin, stopin, Insitute of hist. of science

/365p Virginia Mann wants vtss material before I leave
/369p Simpson message
/375p Cheadle re Kaelbling, black Friday
/376p Cheadle re Weening
expenses to Carole Hafner

Ask not what AI can do for law; rather what law can do for AI.
Law cases (lawyers) are the drosophilae of non-monotonic reasoning.

Stanford Ontology Clinic, Ontocyn is an expert system for advising those
having trouble determining what exists.

Sheila Bowman ladyb@ratliffe, Jim Browne ass't
Elizabeth Manning
Suzette Branton, Novak ass't

Mark Wells,dept. cs., u.n.m. Las Cruces, n.m.
n.m. state (general: 646-0111),646-4600

Dawkins may be neglecting episodic events.  Suppose a gene for
excess reproduction accumulates, causes excess population, which
causes a die-off of almost the whole population, e.g. from epidemics.
The territory is then colonized by immigrants from a group that
didn't suffer the epidemic, because it didn't get too dense.

Artist with nice paintings at faculty club
Anastasia Sotiropoulos

Michel Feldmann home: 42 50 66 72 one of organizers of 1987 May Paris meeting

Jeff Hinton, review of learning algorithms

Monique Baron, organized meeting with non-monotonic people in Paris 1987 May

b-partys ⊂ events1
x ε b-partys⊃ exist place x ∧ exist time x
consequence of event1

x ε b-partys ⊃ exist honoree x ∧ N is-person honoree x ∧ N (time x
=. birthday honoree x)

920-5019, reporter

Jeffrey Crelinsten, cbc radio documentary 416 657-8140

$70 to Sarah
susie would like 
boston trip

Sarah would like camera stuff, clutch, 24mm lens , FE2

Once in the future
Fp u
Gp[u ⊃ Gp ¬u]
where Fp and Gp refer to the future not counting the present.

Greg Zachary, Mercury News, personal computing in the year 2000
408 920-5019
laplace, method of constant causes, treatise on probability

I talked to Jeff Wachtel 3-2238, and he said he would try to get it
fixed today and would check on it Thursday.  He will also check on
the appropriateness of a sign forbidding drinking in that park.

sandra dp index 969-0913, computer census

Harold Stone
IBM Corp.
30 Saw Mill Rd
Hawthorne, NY 10532
914 789-7811
IEEE Piore award for Newell


keynote, influence of ai on database and information systems
make a paper - by November, camera ready March 88
Robert Meersman gets paper, Solvberg, Arne

tom burns idc 617 872 8200

Bill Mark of Lockheed has joined the Inference SAB.

Irwin Sobel called from hp at instigation of David C.
Alan Snyder → Martin Griss → Ira 
sobel@hp-labs
857-5774

Endicott House 617 326-5151


Rutie 949-0758

In case you log in while you are away, John Nafeh would like you to call
him (408) 943 1711. 

Texas parking s87.in[let,jmc]/592p

s87.in[let,jmc]/594p Hersch wants $1446 +$16.50

s87.in[let,jmc]/576p rpg wants to talk

I have a message to call Tom Burns or to have an associate call him
about a mini-supercomputer at 617 872-8200.  Please find out what he
wants and whether it has relevance.  Most likely he's just a salesman.

rem 9am Alan Snyder 857-8764
1pm Thursday
P.O. 10490, Palo Alto, 94303

William Leigh, Leigh Lecture Bureau, Princeton

SSRL 854-3300 Susan Lovegren is the Stanford contact.

212 758-2400 Donald Curry, Fitzpatrick, Cella, Harper, Cinto
IBM wants to beat patent on text processing.
213 826-5818, Edith Myers datamation

Steffen Schulz-Kramer

Zierer visa service 495-5216, Stacy

chuck 923-9294, jack keating?

Georgi Yulkin
Alex Terekhin



Vladimir phones
503 765-2111 x353 till sund
642-4531 Monday and Tuesday

Lin Fangzhen, from Peking wants visiting scholar

Ruth Levine
Standing Ovations
8380 Miramar Mall, Suite 225
San Diego 92121

Hans Morawa
Quickstorming


Date: Wed, 22 Jul 1987  10:43 EDT
From: MINSKY%OZ.AI.MIT.EDU@XX.LCS.MIT.EDU
Subject: Natural Kinds (Re: AIList Digest   V5 #186)


About natural kinds.  In "The Society of Mind", pp123-129, I propose a
way to deal with Wittgenstein's problem of defining terms like "game"-
or "chair".  The basic idea was to probe further into what
Wittgenstein was trying to do when he talked about "family
resemblances" and tried to describe a game in terms of properties, the
way one might treat members of a human family: build, features, colour
of eyes, gait, temperament, etc.

In my view, Wittgenstein missed the point because he focussed on
"structure" only.  What we have to do is also take into account the
"function", "goal", or "intended use" of the definition.  My trick is
to catch the idea between two descriptions, structural and functional.
Consider a chair, for example.

  STRUCTURE: A chair usually has a seat, back, and legs - but
     any of them can be changed in so many ways that it is hard
     to make a definition to catch them all.

  FUNCTION: A chair is intended to be used to keep one's bottom
     about 14 inches off the floor, to support one's back
     comfortably, and to provide space to bend the knees.

If you understand BOTH of these, then you can make sense of that list
of structural features - seat, back, and legs - and engage your other
worldly knowledge to decide when a given object might serve well as a
chair.  This also helps us understand how to deal with "toy chair" and
such matters.  Is a toy chair a chair?  The answer depends on what you
want to use it for.  It is a chair, for example, for a suitable toy
person, or for reminding people of "real" chairs, or etc.

In other words, we should not worship Wittgenstein's final defeat, in
which he speaks about vague resemblances - and, in effect, gives up
hope of dealing with such subjects logically.  I suspect he simply
wasn't ready to deal with intentions - because nothing comparable to
Newell and Simon's GPS theory of goals, or McCarthy's meta-predicate
(Want P) was yet available.

I would appreciate comments, because I think this may be an important
theory, and no one seems to have noticed it.  I just noticed, myself,
that I didn't mention Wittgenstein himself (on page 130) when
discussiong the definition of "game".  Apologies to his ghost.

602 965-2855 mar 17, Golshani, Forouzan,
CS Dept. Arizona State
Phoenix conf. on computers and communications

Jan Getche
ai in education, 514 343 6509
rose britt, ee, 598-0486
723-4020

Rose Ritts, 3-4020, assu,
agreed to interview on SDI Aug 7 or 10
Mojunda
208 524 2491
aug 31 evening Salt Lake, banquet speaker, conf. ai and other innov.
applications in the nuclear industry
598-0486


alliant Pam Widrum 408 295 7222

3-4020
ritts
512 443 8059, marshal burns
Sally 214 574-6577

202 755-4615,
Vic Sirokin

9:30 723-4020 
Durand building, Durand 450

take at least one phone

212-564-8547, Novoe Russkoe Slovo

return mark call
danny ewald 471-3551
lunch mixer, fri, noon, fac. lounge

John Thomas, 202 647-1373, Richard Schifter state dept. human rights
Human Rights Bureau
Room 7802
State Dept.
2201 C St. NW
Washington, D.C. 20520

numbers for Dines Bjorner
telex 37805 ddc dk
+45 2-872622
Annie Rasmussen

Sharansky 212 877-4999?

Previous occupant Jean Rogers, now at
415 723-6084
cs dept. tressider 101

621-7800 noftsker, 621-7500 symbolics general, noftsker sec linda solimine

Bo Yang - The Ugly Chinaman, mentioned in NYT 1987 Oct 7

halpern@almvma.ibm.com
same message, better address
I'm teaching Epistemological Problems of AI, and I would
like the reference to your work or that of the others
at IBM San Jose most relevant to formalizing knowledge,
especially problems like the wise men and Mr. S and Mr. P
and "all he knows is".

Mail to User%Host@Forsythe for a Bitnet computer called "Host".

ijcai 85, moshe

wegman needs report

∂20-Oct-87  2053	@Sushi.Stanford.EDU:THEORYNT%NDSUVM1.BITNET@forsythe.stanford.edu 	electronic NSF reviews 
Received: from SUSHI.STANFORD.EDU by SAIL.STANFORD.EDU with TCP; 20 Oct 87  20:53:29 PDT
Received: from lindy.stanford.edu by Sushi.Stanford.EDU with TCP; Tue 20 Oct 87 20:45:40-PDT
Received: by lindy.stanford.edu; Tue, 20 Oct 87 20:50:08 PDT
Received: by Forsythe.Stanford.EDU; Tue, 20 Oct 87 20:47:48 PDT
Received: by NDSUVM1 (Mailer X1.24) id 5140; Tue, 20 Oct 87 22:41:35 CDT
Date:         20 Oct 1987 23:38:34-EDT (Tuesday)
Reply-To: TheoryNet List <THEORYNT%NDSUVM1.BITNET@forsythe.stanford.edu>
Sender: TheoryNet List <THEORYNT%NDSUVM1.BITNET@forsythe.stanford.edu>
Comments:     Warning -- original Sender: tag was THEORYNT@YKTVMX
From: "Carl H. Smith" <CHSMITH@note.nsf.gov>
Subject:      electronic NSF reviews
To: Local Distribution <AFLB.TN@sushi.stanford.edu>


The National Science Foundation is now prepared to accept reviews
of research proposals via the electronic mail system.  Such a
review should be sent directly to the program manager requesting
the review. The review should contain the proposal number as well
as the text of the review and an overall rating.  The official
foundation policy is that the name of the investigator and the
title of the proposal should appear in the message as the second
and third lines, immediately after the proposal number and before
the text of the review.  In light of possible security problems
while the electronic review is in transit, I will accept
electronic reviews without a title and investigator name in the
message.
                   Carl Smith

1988 jan 4

Dahl referred me to Boucher's 326-5220 for boiling water system.
$100 plus $55 installation, Kitchenaid, maybe more because of no
existing hole for it.  They estimate $70 for installation.
719 Santa Cruz Ave.

1988 jan 5
Robert McGinn is acting head of vtss during Jim Adams sabbatical.

Texas bank
University Federal Credit Union
P.O. Box 4069
Austin, TX 78765
512 467-8080

Jan 6
Talked to Lois at Menlo Clinic about bill for non-existent services
performed Nov 27.  hchron[1,jmc]/16p

Jan 6
Call received by Pat from Mints about a conference on "Computer Logic"
in Tallin, Estonia Dec 12-16, 1988.
telegram or phone: 0142 525728

Jan 8
Finance meeting
qlisp runs out in may.  There was a plan for a new proposal in sept,
but Les dropped the ball.

My nsf has just about used up its money, although the grant runs
till August 31.  That's six months beyond the nominal ending date.

Still no answer from darpa about when the new contract starts.

Carolyn's contract was proposed for 3 years but runs for one year
ending June xx, maybe june 1.

3 yrs, $525K, 55% or requested budget, 1st year 171K.  He said he expects
it to come through in 60 days, so, according to nsf regulations, we
could start charging immediately.

Slocum talked to Paul Chock at Stanford about renewing our contract with
Lucid.  
Scherlis home number: 703 276-1658. RPG is phoning him this weekend
about Qlisp matters.

need letter to squires and cc to rpg at lucid.

tap
letter for me to sign
Please prepare a letter for me to sign addressed to Dr. Steve Squires
at DARPA with a copy to Dr. Richard P. Gabriel at Lucid saying

It is appropriate to pay for the travel of Will Clinger and Richard
P. Gabriel to the Paris meeting of the International Standards
Organization concerned with the standardization of Common Lisp
from the funds of the Qlisp project.

computer logic
Tallin dec 12-16
Martin-Lof
prawitz
mints
ershov
frankel, leningrad
computer exps in logic, thm prov, logic prog and related topics incl. ai
mainly invited lectures
12 invitees
plotkin
prawitz
prog. comm. invitee, 20

pursue Nils on tasking contract

old tape
Wegman, final report

MAD
Bernie Fleitman - hardware and software systems

617 495-3387 Dick Wilson at Harvard

Will Pong, Transitions Research, ceo Joe Engelberger,
203 798-8988, $50K to $100K robot.
mobile base (for arms, etc.)
hospital carry robot
floor cleaner
wire inspector

ttac march 15-16 818 354-4431, Chris

Bruce Ames, 

Flehr, Hobach, Test - Aldo Test
on Oregon before rr tracks

Nancy Dolhert, (home: 323-7558) (work: 494-0660)
Crystallume? Makes diamonds from methane.  Senior.

Conservative students met chez Juilland 1988 Jan 8
Peter Thiel 327-4168
Norm Book   327-6509
Burke Smith 326-9168

Allen, Beverly	local organizer of Conference on Terrorism

Jan 20, 7:10 am
Jack Schwartz called in response to my message to say that he does
regard the agreement as binding and will press Simpson to regard
my problem as a special case.

Chekisty: A History of the KGB, by John J. Dziak, Heath
nyt review 

jan 27 - Peter Thiel will get back to me Monday on student reaction
to the plan to liberate Berkeley.  Tell Hook.
Tell Marotta tomorrow.

Dr. Norton D. Zinder
Biology Dept.
Rockefeller University
New York, NY 10021,
212 570-8644 will help in nominating Bruce Ames

mark@score could move rt.

peggy blake, nrc, eng. pan 202 334-2762

bio to
Judith Goldstein
Regis McKenna
1 Main St.
Cambridge, MA 02142
fax: 617 225-2824
tel: 617 225-2400


? informal
? family mutual relationships
? arms length
? find source about Sakharovs or leave it out
? can effect situation
	inferiority complex
	deteriorating economy
	imf, loans, can put them into default

Joe Bill, verges on 30 lbs, overalls, not heavy,

late 78 or early 79 reference 
co-ordinated computing, tools and techniques for distributed software

Charlie Bass taught networking, 

I should be at iso on WEd

Common Prototyping Language task force
Paul Hudak semantics, John Guttag, Mitch Wand, David Fischer ada, Frank
Belz, Robert Dewar, Balzer, Gabriel, Scherlis

Elmore Leonard, Touch, someone with power to cure by laying on hands

Robert Cohn, 323-7983, discuss epistemology

Ron Louis, Cognitive Science Committee, U. Rochester phil sci

I suggested to Roy Jones that the programming content of cs224 consist
of tinkering with existing programs, suggesting my 15 puzzle, Mycin
and the ops-5 program for the monkeys and bananas.

Carole Douglis, National Geographic Mar 2 interview for book on history
of technology

haircut mar 2

Mike Leibowitz, Omni story

Grace Ostenso
Staff Director, Science, Research and Technology subcommittee
U.S. House of Representatives
2319 Rayburn
Washington, D.C. 20515
202 225-1060

$150 million for centers as separate
kepner, daniel, rle
Walker, arthur
Silcox, cornell
erc panel
Supercomputer, Clifford Rhoads, LLNL, Ken Wilson

before march 29

$1453 in Piggot account on 1987 Dec 31

Naomi Feigenbaum 609 683-9500, IREX

Lapin, Institute of Philosophy
Vladimir Smirnov
Vadim Sadovsky, Institute for System Studies

7.1) Dubrovin, B. A. MODERN GEOMETRY--METHODS AND APPLICATIONS (New York :
       Springer-Verlag, c1984-)
       LOCATION: QA445.D82 1984 v.1-2: Math & Comp Sci

lorie 800 367-2038 nas about room

800 842-2733 x4558

Carol Zuniga
maxwest ss forms

Michael Reinfrank
at Town House Motel till Thurs 493-4492

Winograd - Can there be intelligent machines?  Are we?
p. 15 -
	Consider ordinary words as an analogy.  Imagine that a doctor
asks a nurse ``Is the patient eating?''  If they are deciding whether to
perform an examination, the request might be paraphrased ``Is she eating
at the moment?''  If the patient is in the hospital for anorexia and the
doctor is checking the effectiveness of the treatment, it might be more
like ``Has the patient eaten some minimal amount in the past day?''  If
the patient has recently undergone surgery, it might mean ``Has the
patient taken any nutrition by mouth,'' and so on.  In responding, a
person interprets the sentence as having relevance in the current
situation, and will typically respond appropriately without choosing
among meanings.

	In order to build a successful symbol system, decontextualized
mening is necessary --- terms must be stripped of open-ended ambiguities
an shadings.   A medical expert system might have a rule of the form:
``IF Eating(x) THEN $\ldots$,'' which is to be applied only if the
patient is eating, along with others of the form ``IF $\ldots$
THEN Eating(x)'' which determine when the condition holds.
Unless everyone who writes or reads a rule interprets it in the
same way, the ruels have no constant interpretation and the results
are unpredictable.

	In response to this, one can try to refine the vocabulary.
``Currently-Dining'' and ``Taking-Solids'' could replace the more
generic term, or we could add construal rules, such as ``in the
context of immediate action, take `Eating' to mean `Currently-Dining'.''
Such approaches work for the cases that programmers anticipate,
but of course are subject to the infinite regress of trying to
decontextualize context.  Te new terms or rules themselves depend on
interpretation that is not represented in the system.

wants her papers
Kelly Gee
4238 Latimer Ave. San Jose, CA 95130

John Deming 851-0121 wants to discuss intellectual property rights.

mps
message for Elkan
Please tell Charles Elkan if you can find him that his father
wants him to call in England, phone 844 342 in Cambridge.

Nuclear Weapons Databook
NRDC
122 E. 42nd St.
New York, NY 10168
212 949-0049

Michelle van Cleve
456-1414 general White House number, also 395-7326
456-7116 Bill Graham
Jonathan Thompson, executive director, OSTP

The Best of Japan

Piccolo Mondo 42xx El Camino

Eric Werner, Intention, Information and Ability
refers to McC and Hayes, but doesn't treat semantics of ability

Jussi wants me at MAD April 18.

Michael Doherty, contractor recommended by Barbara Gunther 408 423-4222

(sf zoo recording: 661-4844, directions: 661-7777, admin: 661-2023)

April 8
Joe Tabbi, Omni, I shouldn't agree to be commentator on great man.
212 260-6041
What is left to know in various fields?
Has got Gell-Mann and Glashow for physics.
mps
Please send the one page in my out box on problems of AI to
Joe Tabbi
167 Ludlow St.
New York, NY 10002

John Woodfill came in to talk about brittleness and its relation to
concepts.  Harangued him about mother.

5-3008
Ben Detenber, Stanford TV network

Please tell
312 984-7081, Donna Chambers, I will not have time to see Nancy Osborn.

Barn in Davis 916 678-5985, leave sf at 11

Ivan Kovalev and Tatiana Osipova
303 99th St, Apt 5J
Brooklyn, NY 11209
718 836-0249


marotta 3-0500, lorie silver 3-4632
suppes secretary wants schedule
ann mayo wants me to chair an exam

John Clippinger, apr 21
dime
distributed info management environment
heterogeneous database
developed own relational database
ccnstrained business text

apr 21 - talked to Joe Tabbi of Omni.  He promised to clear any
quotes that he might use.

apr 15 - became member of Science Advisory Board of George C. Marshall Institute.
Frederick Seitz, Chairman

bill hedman, 212 984-8391, 212 486-1882 marvin chudnov, 
called him April 30

April 27 campus report has Bennett-Kennedy dialog

may 2 Dennis Diggs 241 4110, Claridge Group, recruiting firm
wants technical writer who knows LISP